2341. The theory of evolution strategies
پدیدآورنده : Hans-Georg Beyer
موضوع : Evolutionary programming (Computer science),Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2342. The theory of evolution strategies
Author: by Hans-Georg Beyer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Evolutionary programming (Computer science)
2343. The top ten algorithms in data mining
Author: / edited by Xindong Wu, Vipin Kumar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Data mining.,Computer algorithms.
Classification :
QA76
.
9
.
D343
,
T66
2009
2344. The top ten algorithms in data mining
Author: edited by Xindong Wu, Vipin Kumar
Library: Central Library and Documentation Center (Kerman)
Subject: ، Data mining,، Computer algorithms
Classification :
QA
76
.
9
.
D343
T66
2009
2345. The top ten algorithms in data mining
Author: / edited by Xindong Wu, Vipin Kumar
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Data mining.,Computer algorithms.
Classification :
QA
,
76
.
9
,.
D343
,
T66
,
2009
2346. The top ten algorithms in data mining
Author: / edited by Xindong Wu, Vipin Kumar
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Data mining,Computer algorithms
Classification :
QA76
.
9
.
D343
,
T66
2009
2347. The top ten algorithms in data mining
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Data mining. ; Computer algorithms. ;
2348. The top ten algorithms in data mining
Author: / edited by Xindong Wu, Vipin Kumar
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Data mining,Computer algorithms
Classification :
QA76
.
9
.
D343T66
2009
2349. Theory and Applications of Satisfiability Testing – SAT 2015
Author: \ Marijn Heule , Sean Weaver (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
Classification :
QA
76
.
9
.
A43
2015
E-Book
,
2350. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
2351. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Author: Armin Biere, Carla P. Gomes )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
4121
2352. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
2353. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Author: Holger H. Hoos, David G. Mitchell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
Classification :
QA
76
.
L28
Vol
.
3542
2354. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Author: Enrico Giunchiglia, Armando Tacchella )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
2919
2355. Theory and practice of algorithms in (computer) systems
Author: Alberto Marchetti-Spaccamela, Michael Segal (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43
T37
2011
2356. Theory of algorithms
Author: edited by L. Lovasz and E. Szemeredi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
Classification :
QA
9
.
58
.
C64
1984
2357. Time structures :
Author: Elżbieta Hajnicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer algorithms.,Time.
Classification :
QA76
.
9
.
A43
E493
1996
2358. Time structures : formal description and algorithmic representation
Author: Elzbieta Hajnicz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer algorithms,، Time,، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1047
2359. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
